An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language
نویسنده
چکیده
These notes present basic principles of partial evaluation us ing the simple imperative language FCL a language of owcharts intro duced by Jones and Gomard Topics include online partial evaluators o ine partial evaluators and binding time analysis The goal of the lec tures is to give a rigorous presentation of the semantics of partial eval uation systems while also providing details of actual implementations Each partial evaluation system is speci ed by an operational semantics and each is implemented in Scheme and Java Exercises include proving various properties about the systems using the operational semantics and modifying and extending the implementations
منابع مشابه
Preliminary Report on a Self-Applicable Online Partial Evaluator for Flowchart
This is a preliminary report on a self-applicable online partial evaluator for a flowchart language with recursive calls. Self-application of the partial evaluator yields generating extensions that are as efficient as those reported in the literature for offline partial evaluation. This result is remarkable because partial evaluation folklore has indicated that online partial evaluation techniq...
متن کاملAn Experiment with the Fourth Futamura Projection
We have experimentally validated the theoretical insight, that a compiler generator is a generating extension of a program specializer, by showing that an existing offline partial evaluator can perform the fourth Futamura projection. Specifically, an online and an offline partial evalua-tor for an imperative flowchart language were transformed into two new compiler generators by Romanenko's cla...
متن کاملOnline Composition Prediction of a Debutanizer Column Using Artificial Neural Network
The current method for composition measurement of an industrial distillation column includes an offline method, which is slow, tedious and could lead to inaccurate results. Among advantages of using online composition designed are to overcome the long time delay introduced by laboratory sampling and provide better estimation, which is suitable for online monitoring purposes. This paper pres...
متن کاملAn Optimized Online Secondary Path Modeling Method for Single-Channel Feedback ANC Systems
This paper proposes a new method for online secondary path modeling in feedback active noise control (ANC) systems. In practical cases, the secondary path is usually time-varying. For these cases, online modeling of secondary path is required to ensure convergence of the system. In literature the secondary path estimation is usually performed offline, prior to online modeling, where in the prop...
متن کاملTutorial on Online Partial Evaluation
This paper is a short tutorial introduction to online partial evaluation. We show how to write a simple online partial evaluator for a simple, pure, first-order, functional programming language. In particular, we show that the partial evaluator can be derived as a variation on a compositionally defined interpreter. We demonstrate the use of the resulting partial evaluator for program optimizati...
متن کامل